Skip to content

chore: examples with typecheck after 4060 #4159

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Closed
wants to merge 59 commits into from
Closed

chore: examples with typecheck after 4060 #4159

wants to merge 59 commits into from

Conversation

leohhhn
Copy link
Contributor

@leohhhn leohhhn commented Apr 15, 2025

No description provided.

jaekwon added 30 commits March 27, 2025 03:03
@jaekwon
added Readonly...
8f2adb2
@jaekwon
...
222122c
@jaekwon
Readonly is a property of TypedValue, rather than ReadonlyValue wrapper
e4d39cd
@jaekwon
fix tests
b59c858
@jaekwon
Machine.IsReadonly() also checks realm mismatch
e93bbd3
@jaekwon
nil interface is undefined
663bfc3
@jaekwon
fix IsReadonly to use IsImmutable; half of convert check done
8f932fe
@jaekwon
enable second opconvert check
a007c95
@jaekwon
...
a7abc9d
@jaekwon
...
84e34c7
@jaekwon
first commit of interrealm_withswitch
7e99a91
@jaekwon
fix zrealm_crossrealm11.gno test
489cc84
@jaekwon
intermediate
75a4625
@jaekwon
fix tests...
d8db4b3
@jaekwon
fix gnovm tests
e0459b9
@jaekwon
...
dd30de5
@jaekwon
heapitems_for_3693
e7d65cb
@jaekwon
update tests
f182d38
@jaekwon
fix heap return issues
6b8b41d
@jaekwon
...
c1d3652
@jaekwon
cleanup and fixes
afe5578
@jaekwon
heap item all package vars
44f0a0b
@jaekwon
update golden tests
872b6a5
@jaekwon
a funcvalue is an object; a func closure has no parent; find heap cap…
f026885 
…tures fix
@jaekwon
update golden tests
b6dc789
@jaekwon
fix one example test
cdef2e3
@jaekwon
update golden tests
425b919
@jaekwon
fix script tests
636b7c3
@jaekwon
add gno-memory-model
66213d4
@jaekwon
replace IsUndefined(); remove defaultValue() for safety
95a06f4
jaekwon and others added 16 commits April 11, 2025 06:21
@jaekwon
fix realm exploiter test
e7d85ba
@moul
docs: update EOA sections in realms.md
96c3524 
Signed-off-by: moul <[email protected]>
@piux2
Create defer1.gno
16a37b4
@piux2
Create recover1.gno
328d282
@piux2
more recover tests
c1be915
@moul
chore(examples): update one example for new interrealm spec
85b0a93 
Signed-off-by: moul <[email protected]>
@ltzmaxwell
negtive test, cannot capture name in type assert
bc6954b
@jaekwon
switchrealm -> crossing; withswitch -> cross
86d998a
@jaekwon
...
9b02f1f
@ltzmaxwell
add simple return & capture tests
2c18fae
@ltzmaxwell
Merge commit 'refs/pull/4060/head' of github.com:gnolang/gno into pr-…
f799a24 
…4060
@ltzmaxwell
add no borrow
452c5a8
@mvertes
Rewrite AST prior go type checking to avoid inter-realm statements.
8ca8cd5
@mvertes
Merge branch 'heapitems_for_3693' into gno-4060-typecheck
4c0baf6
@mvertes
s/switchrealm/crossing/, s/witchswitch/cross/
a7ea1c1
@leohhhn
chore: fixup
c8cdefe
@github-actions github-actions bot added the 🧾 package/realm Tag used for new Realms or Packages. label Apr 15, 2025
@Gno2D2
Copy link
Collaborator

Gno2D2 commented Apr 15, 2025 •
edited
Loading

🛠 PR Checks Summary

All Automated Checks passed. ✅

Manual Checks (for Reviewers):
  • IGNORE the bot requirements for this PR (force green CI check)
Read More

🤖 This bot helps streamline PR reviews by verifying automated checks and providing guidance for contributors and reviewers.

✅ Automated Checks (for Contributors):

No automated checks match this pull request.

☑️ Contributor Actions:
  1. Fix any issues flagged by automated checks.
  2. Follow the Contributor Checklist to ensure your PR is ready for review.
    • Add new tests, or document why they are unnecessary.
    • Provide clear examples/screenshots, if necessary.
    • Update documentation, if required.
    • Ensure no breaking changes, or include BREAKING CHANGE notes.
    • Link related issues/PRs, where applicable.
☑️ Reviewer Actions:
  1. Complete manual checks for the PR, including the guidelines and additional checks if applicable.
📚 Resources:
Debug
Manual Checks
**IGNORE** the bot requirements for this PR (force green CI check)

If

🟢 Condition met
└── 🟢 On every pull request

Can be checked by

  • Any user with comment edit permission

moul
moul reviewed Apr 18, 2025
View reviewed changes
examples/gno.land/r/leon/registree/item.gno
import registry "gno.land/r/leon/registry"

func ManualRegister() {
crossing(registry.Register)
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
crossing(registry.Register)
cross(registry.Register)()

@jaekwon jaekwon force-pushed the gno-4060-typecheck branch from d0b79f5 to 3b5ac5b Compare April 20, 2025 20:39
@jaekwon jaekwon deleted the branch gnolang:gno-4060-typecheck April 20, 2025 20:40
@jaekwon jaekwon closed this Apr 20, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@moul moul moul left review comments

Assignees

@leohhhn leohhhn

Labels
🧾 package/realm Tag used for new Realms or Packages.
Projects
💪 Bounties & Worx
Status: Done
🧙‍♂️gno.land core team
Status: Done
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
7 participants
@leohhhn @Gno2D2 @moul @jaekwon @piux2 @ltzmaxwell @mvertes